基于关键路径和任务复制的多核调度算法

针对目前大多数多核处理器任务分配优化算法没有考虑关键路径上节点对任务完成时间的重要影响,导致任务完成总时间延迟的问题,提出了基于关键路径和任务复制(CPTD)的单任务调度算法。CPTD算法通过复制任务图中fork节点的方式将任务图转化为与之相对应的产品加工树;再在生成的产品加工树中找到关键路径,并采取使关键路径上节点的紧前节点尽早调度的方式,使关键路径上节点尽早开始执行,进而使产品加工树中节点完成时间得以提前,达到缩短任务执行总时间的目的。理论分析表明,CPTD算法能够实现应用程序在多核上充分并行处理,并能缩短任务完成时间。     

基于OMAPl510单兵通信系统中头盔子系统的实现

OMAPl510是德州仪器TI公司的双核架构处理器,整合了一个控制性能强的ARM925处理器、一个低功率消耗的高效能TMS320C55X数位信号处理器DSP。文中首先描述单兵通信系统的组成,并给出以头盔子系统为核心的基本工作原理图。然后介绍了0MAPl510的硬件架构和软件架构,并较为详尽地给出实现头盔子系统的蓝牙主控程序的主要代码。最后针对此头盔子系统蓝牙无线通信距离的局限性,提出与头盔共形的微带阵列天线的改进方案。     

顾及时空语义的多主题瓦片数据优化检索方法

针对虚拟地球可视化中多个逻辑图层叠加产生大量同名瓦片索引重叠引起的数据无效访问和内存冗余等问题,提出顾及时空语义的瓦片数据优化检索方法。在客户端实现顾及时空语义的自适应瓦片优选,将视点信息与数据集的时空范围、分辨率和优先级等语义信息自动匹配与自适应筛选过滤,显著提高目标瓦片数据的命中率;在服务器端实现面向主题的内存数据库瓦片数据缓存,进一步提高瓦片数据二次访问的响应速度。实验表明,该方法不受逻辑图层增量影响,保证目标瓦片较高的命中率,缓存方法进一步提升瓦片二次访问效率,显著提高面向多数据集的海量数据实时可视化性能。     

BIT系统的三态马尔可夫模型分析

BIT技术是改善系统测试性和诊断能力的重要途径,但是较高的虚警率一直是阻碍BIT广泛应用的一个重要原因。研究过程中将系统状态划分为正常、间歇、故障三种状态,建立了马尔可夫模型,分析、对比了三态模型与两态模型的关系。理论分析结果表明:基于三态模型的BIT,在提高故障检测率的同时,还可以较大程度地降低虚警率。     

一种用于机电产品测试性设计的传感器优选MINLP模型

在单故障假设条件下,考虑了传感器的失效概率和设备的故障率,提出一种以故障检测率和故障隔离率为约束条件的降低传感器费用和失效概率的混合整数非线性规划(MINLP)模型,从而为机电产品测试性设计中传感器选择问题提供了一种可行和有效的解决方法,并进行了案例验证,说明了该方法的有效性。     

一种新的高分辨率ADC有效位数测试方法

谱分析法和正弦拟合法是ADC动态特性测试的两种常用方法。但在测试信号源信噪比较低的情况下,两种方法的测试结果都存在较大的偏差。提出了一种新的ADC动态性能测试方法,该方法能较好消除信号源对测量结果的影响,使得在普通信号源下可以测试高分辨率的ADC。仿真分析证明了这一测试方法的正确性。最后给出了采用该方法对一ADC系统的实测结果。     

论校园文化建设的思想与实践——基于华山中学校园文化建设活动的系列思考之四

校园环境是校园文化建设的主要载体、主要内容和主要表现形式。从校园文化建设的高度出发,校园环境将不再是传统观念中所理解的那种简单的空间概念,进行环境建设必须从文化建设的思路去认识和思考,而进行文化建设也必须依靠环境建设的内容来表达和实现,二者不可分割,这反映了物质与意识的辩证关系。校园环境建设中精神环境的概念需要单独提出来,它是校园文化建设的重要内容,更是校园文化建设的难点。华山中学在校园环境建设方面有着自身的理解和认识,做出了一些有益的尝试,今后还将在这方面进行更深入地探寻,努力打造富有生命力和自身特色的校园文化。     

面向装备健康管理的可测性指标研究

可测性指标是开展可测性设计、验证和评估的依据.针对传统可测性指标主要用于故障可检测性和故障可隔离性水平评价,不能全面反映面向装备健康管理可测性水平的问题,在定性分析装备健康管理对可测性的本质需求基础上,从全域和瞬态角度提出了五个可测性指标以定量描述面向装备健康管理的可测性水平;并基于故障模式状态矢量给出了可测性指标的分析计算流程.最后以某装备柴油机的机体子系统为案例详细说明了可测性指标的计算过程,应用结果表明所提指标具有一定的可行性和合理性,可以有效指导面向装备健康管理的可测性优化设计.     

基于AHP——探索法的对潜通信系统效能评估

从对潜通信的军事特征出发,建立评估指标体系,并提出一种改进的层次分析——探索法,结合模糊评判理论计算通信系统的效能。该方法运用探索标度值的思想,给出一种新的判断矩阵的构造方法,合理地处理决策因素的不确定性。实例分析表明:该方法精确、有效,易于在计算机上实现,具有较高的应用价值。     

饱和系统的线性最优容错不变集

针对饱和系统的容错控制问题,提出了一种D稳定约束下系统吸引域的估计方法。分别以不变集和参考集的容量为优化目标,给出了两个优化容错不变集的充分条件。为解决不变集优化中出现的双线性矩阵不等式(BMI)问题,通过构造包含线性矩阵不等式(LMI)的目标函数,将它转化为非线性规划的形式进行求解。通过一个仿真实例对该方法进行验证。